hal相关论文